Ke Zhi-Jin, Meng Yu, Wang Yi-Tao, Yu Shang, Liu Wei, Li Zhi-Peng, Wang Hang, Li Qiang, Xu Jin-Shi, Tang Jian-Shun, Li Chuan-Feng, Guang-Can Guo. Experimental demonstration of tight duality relation in three-path interferometer. Chinese Physics B, 2020, 29(5): 050307
Permissions
Experimental demonstration of tight duality relation in three-path interferometer
Ke Zhi-Jin1, 2, Meng Yu1, 2, Wang Yi-Tao1, 2, Yu Shang1, 2, Liu Wei1, 2, Li Zhi-Peng1, 2, Wang Hang1, 2, Li Qiang1, 2, Xu Jin-Shi1, 2, Tang Jian-Shun1, 2, †, Li Chuan-Feng1, 2, ‡, Guang-Can Guo1, 2
CAS Key Laboratory of Quantum Information, University of Science and Technology of China, Hefei 230026, China
CAS Center For Excellence in Quantum Information and Quantum Physics, University of Science and Technology of China, Hefei 230026, China
Project supported by the National Key Research and Development Program of China (Grant Nos. 2016YFA0302700 and 2017YFA0304100), the National Natural Science Foundation of China (Grant Nos. 11822408, 11674304, 11774335, 61490711, 11474267, 11821404, 11325419, 11904356, and 91321313), the Youth Innovation Promotion Association, Chinese Academy of Sciences (Grant No. 2017492), the Foundation for Scientific Instrument and Equipment Development, Chinese Academy of Sciences (Grant No. YJKYYQ20170032), the Key Research Program of Frontier Sciences, Chinese Academy of Sciences (Grant No. QYZDY-SSW-SLH003), the Fundamental Research Funds for the Central Universities, China (Grant Nos. WK2470000026 and WK2030000008), Science Foundation of Chinese Academy of Sciences (Grant No. ZDRW-XH-2019-1), Anhui Initiative in Quantum Information Technologies, China (Grant Nos. AHY020100, AHYPT003, and AHY060300), the National Postdoctoral Program for Innovative Talents of China (Grant No. BX20180293), and the China Postdoctoral Science Foundation (Grant No. 2018M640587).
Abstract
Bohr’s principle of complementarity has a long history and it is an important topic in quantum theory, among which the famous example is the duality relation. The relation between visibility C and distinguishability D, , has long been recognized as the only representative of the duality relation. However, recent researches have shown that this inequality is not good enough because it is not tight for multipath interferometers. Meanwhile, a tight bound for the multipath interferometer has been put forward. Here we design and experimentally implement a three-path interferometer coupling with path indicator states. The wave property of photons is characterized by l1-norm coherence measure, and the particle property is based on distinguishability of the indicator states. The new duality relation of the three-path interferometer is demonstrated in our experiment, which bounds the union of a right triangle and a part of elliptical area inside the quadrant of a unit circle. Data analysis confirms that the new bound is tight for photons in three-path interferometers.
Wave–particle duality is the well-known example of Bohr’s complementarity principle.[1,2] The principle claims that, a particle that goes through an interferometer can exhibit either wave or particle properties. If one has the complete knowledge that which path the particle takes, then it is impossible to have any knowledge about the wave property, vice versa. In general, the duality relation indicates that, an increase knowledge of one property will result in a decrease in the other, which has been studied experimentally.[3–6] In 1978, Wooters and Zurek first investigated this intermediate case in theory.[7] In 1988, Greenberger and Yasin put forward an inequality to express the trade off relation between these two properties[8]
where C is the visibility of the interference pattern and D is a measure of the path information, i.e., the path distinguishability or the which-path information. In 1996, Englert introduced the “detectors” into the paths, whose status changes if a particle passes through them, and he used the distinguishability of the status of the detectors as a measure of the path information,[9] as shown in Fig. 2. To avoid ambiguity, we will call Englert’s detector states as indicator states in our work, because they only indicate which path a photon takes, and never detect or destroy the photon. The inequality given in Eq. (1) has been experimentally verified by various quantum systems, such as nuclear magnetic resonance (NMR),[10,11] cold neutral atoms,[12,13] superconducting quantum circuits,[14] and single photons in delayed-choice scheme.[15–18] In 2014, the theory of quantum coherence as a resource was proposed along with an l1-norm coherence measure.[19,20] Researchers found that the coherence measure is a natural candidate to quantify the wave-like property. Bera et al.[21] firstly used the l1-norm coherence for wave property. Then Bagan et al. stepped further. They derived the duality relation for the multipath interferometer, which made use of the l1-norm coherence measure and the probability of successfully distinguishing the indicator states by using minimum-error discrimination.[22] Soon after, the result was demonstrated by Yuan et al.[23] Finally, in 2018, they put forward the tightest form of the duality relation in multipath interferometer.[24] Here is the tightest form
where n represents the number of paths of an interferometer. When n = 2, i.e., for two-path interferometers, the inequality will degrade to Eq. (1). Once n > 2, it bounds the area that contains a part of an elliptical area and a right triangle area in the first quadrant, as can be seen in Fig. 1. The center O of the elliptical area is located at , and its semimajor axis is parallel to line C + D = 1. Until now, this new duality relation has not yet been verified in experiments.
Fig. 1. Theoretical diagram of the tight new duality relation in multipath interferometers. C and D are the horizontal and vertical coordinates, respectively. The black line is a quarter of a unit cycle, which is described by Eq. (1) and used as a reference. The red line is a part of an ellipse, whose center O and semiminor axis OB lie on the line C = D, and semimajor axis OA is parallel to the line C+D = 1. This ellipse is described by Eq. (2) when n = 6. The union of yellow and pink regions reveals the area that the tight duality relation bounds in a six-path interferometer.
Fig. 2. Schematic representation of a three-path interferometer with path indicators. The status of the path indicators changes when a photon passes through them. BS1 is short for a three-port beam splitter and BS2 is a nine-port beam splitter. The light paths are labeled as 0, 1, 2 after BS1, and the nine light paths are labeled as path ab (a ϵ {0,1,2} and b ϵ {α,β, ϒ}) after the path indicators. The degree of freedom {α,β, ϒ} will be traced out when we collect the experimental data, therefore only three paths are displayed after the path indicators.
In this paper, we experimentally demonstrate this new duality relation based on the coherence measure. With the help of a three-path Mach–Zehnder interferometer, we can fill in the experimental gap in this fields. The states of photons are encoded on the path basis, while the indicator states are encoded on the height degree of freedom, which is well-designed to simplify the experiment. The wave property of the photons is characterized by the l1-norm coherence measure and the particle property of the photons is characterized by the distinguishability of the indicator states. We use quantum states with different coherence as the input states. The states with maximal coherence lie on the bound that equation (2) describes. As for the states with non-maximal coherence, they locate inside the bound. Based on the experimental data, we can plot out the tight bound that the new theory predicts. Comparing with the line describe by Eq. (1), this new bound has a more accurate description about the multi-path interferometers.
2. Duality relation in three-path interferometer
Figure 2 is the schematic representation of a three-path interferometer in our experiment. Let n = 3 in Eq. (2), we can achieve
where C represents the visibility and D represents the distinguishablity. A photon that enters a three-path interferometer will be in a superposition state , where xi are the coefficients and the orthogonal basis states , and correspond to path 0, path 1, and path 2 in the interferometer, respectively. Path indicators are introduced into each path to obtain the path information of the photons. At first, the path indicators are all in the same initial state , then if a photon passes through path 0, the indicator in path 0 will end in state . The other two possible statuses of the path indicators are , corresponding to the other two paths, respectively. Thus, if the indicator is found to be, e.g., , the photon is considered to travel through path 1, which is based on the minimum-error discrimination method.[9] Note that, the photons interact with the path indicator system, so they can be expressed as . Here,
where , and are three orthogonal bases of another degree of freedom in the vertical directions (height) of the original photon paths, and θ ∈ (35.3°,90.0°].
The critical feature of the indicator states is that, the overlap of any two of them is a constant when θ is fixed, which is one of the two necessary conditions for a state to reach the bound in Eq. (2). The other one is that the state must has maximal coherence.
The describes the entanglement between the photons and the indicator system, however, the duality relation is the property of photons. Thus, we should trace out the indicator system first to obtain the density matrix of the photons, which is
Then, the l1-norm coherence of the photons is calculated[19] by
Finally, we obtain the formula to calculate visibility C in Eq. (3), that is
The path information D of the photons is calculated based on the discrimination ability of indicator states . For n non-orthogonal quantum states , the discrimination ability is the average probability of successfully identifying the states, that is
where pi is the occurring probability of state , and positive operator-valued measures (POVMs) corresponding to . Once is evaluated, we obtain the following formula of D for the three-path interferometer in Eq. (3) according to [24,25]:
3. Experimental setup
The entire experimental setup is shown in Fig. 3. There are two modules, a) state preparation and indicator state encoding module and b) measurement module. The single photon source is generated by the type-II spontaneous parametric down-conversion (SPDC), with the counting rate about 10000 counts per second. The central wavelength is 440 nm.
Fig. 3. Experimental setup. There are two parts of the setup, (a) state preparation and indicator state encoding module (with a 3D view, a side view, and a top view) and (b) measurement module with its four statuses in top view. (c) Light beam array, the view comes from a person who faces the light source at the end of (a). The nine paths will then enter the measurement module. The paths have two coordinates, the horizontal one tells which interferometer arm a path belongs to, and the vertical one tells the layer information of a path. Each indicator state is labeled with a pink rectangle box in (a) and with a blue rectangle box in (c). Measurement bases labeled in (b) are used to perform tomography of each layer of the light beam array in (c). BD1 and BD2 are the correspondence of the first BS in Fig. 2, and BD5 and BD6 in measurement module can be seen as the correspondence of the second BS, which has nine light paths.
In the state preparation module, the input state is in horizontal polarization (or H-polarization) after the polarization beam splitter (PBS), denoted as . Similarly, the vertical polarization (V-polarization) is denoted as . After passing the half-wave plate 2 (HWP2) with a certain rotation angle , the state of is generated. The beam displacer 1 (BD1) then causes the V-polarization component to be transmitted directly and the H-polarization component to undergo a 4-mm lateral displacement. The H-polarization will continue to go through HWP4 with rotation angle ψ. At the output port of BD2, the state is . Choosing suitable angle pairs (ϕ, ψ), we can prepare both maximal and non-maximal coherent states. Note that, the state is encoded on the path degree of freedom, and the polarization degree of freedom is just used to manipulate the path of the photons. For example, let the photon in H-polarization, then it will travel to next path after passing a BD.
In the indicator state encoding module (BD3 and BD4), the optical axes lie in the vertical plane, thus in turn the V-polarization component will undergo a 4-mm vertical displacement after passing a BD. The rotation angles of the HWPs (from 5 to 13) in this module decide the θ in the indicator states in Eq. (4). Figure 3(c) shows the light beam array at the end of this module. There will be nine light paths, because there are originally three paths (arranged in the horizontal direction, see the top view), then each path has another three paths in the indicator system (arranged in the vertical direction, see the side view), which then give a 3 by 3 light beam array.
The measurement module is mainly consisted of another two BDs (BD5 and BD6, only shown in the top view), nine sets of QWP–HWP–PBS combinations (QWP stands for quarter wave plate), and nine single-photon avalanche diodes (SPADs). BD5 and BD6 combine any two horizontal paths in the same row (orange box) in the light beam array shown in Fig. 3(c). The measurement of each row is independent of the others. The QWP–HWP–PBS combinations provide measurement on polarization bases , and . Finally, the photons are collected into fibers and detected by nine SPADs.
4. Evaluation of visibility and distinguishablity
Visibility C and distinguishablity D are calculated based on photon counts from the SPADs. The photon counts of each path in light beam array in Fig. 3(c) can be described as .
The density matrix of photons in the three-path interferometer is a 3 by 3 matrix. Given that the nine paths in our experimental setup can be divided into three parts (see the three orange rectangle boxes in Fig. 3(c)), so one feasible way to reconstruct the density matrix ρ is to reconstruct each part (), respectively. Then combine them together as , and are the normalization coefficients, see appendix A for their values and the derivation of ).
Firstly, we reconstruct , that is to evaluate the nine elements in the following matrix:
The diagonal elements represent the proportion of photon counts in α basis of the three paths (first row in Fig. 3(c)), which can be directly acquired from the photon counts in each path in unit time. According to the analysis, we can directly obtain
As for the other six elements in Eq. (10), they are generally complex numbers, thus we should both evaluate the real and imaginary parts. Here we take the evaluation of as an example,
where represents the photon counts under a specific measurement basis. The formulas are similar for the other elements in Eq. (10).
Unfortunately, it is impossible to directly measure on the superposition bases in the path basis, i.e., . Therefore, we transform the path basis into the polarization basis. That is, let photons in path 0 have -polarization and photons in path 1 have -polarization, combine two paths as shown in status 2 in Fig. 3(b), then basis will be transformed into , and . According to these settings, we can evaluate by Eq. (12). Following a similar process, all elements in Eq. (10) can be evaluated.
Then, we can evaluate with the same method. Once the density matrix ρ is acquired, C is calculated according to Eq. (7).
Now we turn to the evaluation of D. It is calculated according to the minimum-error state discrimination. In our experiment, there are three indicator states with their corresponding POVMs , and . Then, each term in Eq. (8) is equal to each other, which is ). Note that, is larger than in indicator states. Therefore, this POVM actually gets the proportion of the maximum output among three bases () in an indicator state. Each term of Pd is calculated by
In our experimental setup, the photons have probability to enter the i-th path of the interferometer, thus in Eq. (8). Finally, D is calculated using Eq. (9).
5. Analysis of data
As analysis shown in Ref. [26], loss of photons inside and outside the interferometers affects the results of duality relation in an interferometer. There are several possible systematic errors in our setup. They possibly come from the state preparation, indicator state encoding, difference in fiber coupling efficiency, or difference in SPAD detection efficiency. Therefore, we have calibration for our experimental setup before data collection. First, we let the coupling efficiency of all fibers between 60% to 62%. Given that the photon counts of the nine light paths in Fig. 3(c) have accurate ratio once the input states and θ in the indicators states are determined. Thus, we make sure that the ratio of photon counts from the SPADs is around the correct ratio by adjusting the angles of the HWPs (HWP2 to HWP13). We cannot achieve a ratio exactly equal to the theory because of statistical errors. This method compensates the systematic errors both inside and outside the interferometer.
Based on the measurement described above, we can obtain the C and D of various input states for different θ of the indicator states. We use three different input states as demonstration, one is the maximal coherent state, and the other two are states with lower coherence.
In Fig. 4, the circle points are the experimental results of maximal coherent state with θ from 35.3° to 90.0°. ΔC is the standard deviation of C(D), represented by the blue horizontal (red vertical) error bars. Since we have calibrated our setups, the errors are dominated by statistical errors.
Fig. 4. Experiment data. The orange solid line is the theoretical tight bound of duality relation in a three-path interferometer, described by Eq. (3). The circle points are the experimental results of the state with maximal coherence. They lie on the theoretical bound and they move along the bound when θ in the indicator states {|ηi〉} varies. While the triangle and rhombus points are the experimental results of two other states without maximal coherence. The states represented by triangle have much coherence than those represented by rhombus. We use l1-norm coherence measure to quantify all these states. The black dash line is the quadrant described by Eq. (1), and it is used as a reference.
When θ=35.3°, the data point ① lies on (0.9956 ±0.0134,0.0028 ±0.0048), because now the three indicator states in Eq. (4) are the same as each other. In other words, they are indistinguishable, thus the photons have the minimum in their particle property and achieve the maximum in their wave property. With the angle increasing, the indicator states become more and more distinguishable, thus the particle property of the photons (D) increases while the wave property (C) decreases. When θ = 90.0°, the three indicator states are orthogonal to each other, thus we can discriminate them and determine which path the photons take with certainty. Therefore, the data point 7 lies on (0.0103±0.0063,0.9938±0.0006), where only particle property exists. The relation between C and D here satisfies the definition of duality relation, because the increase of one causes the decrease of the other, and vice versa.
The triangle points are the experimental results of state . The rhombus points are the results of state . They are both non-maximal coherent states, but the states represented by triangle have much coherence than those by rhombus based on -norm coherence measure. According to the location of these three kinds of points, we can infer that, the less coherence in a state, the closer the points will get to the origin.
Here is the analysis of why the bound provided by Eq. (3) is tight. The orange solid line in Fig. 4 is the theoretical bound of duality relation for a three-path interferometer provided by Eq. (3). The experimental points of maximal coherent state ① to ⑦ all lie on this bound. Given that, we could not find states with more coherence than the maximal coherent state, therefore, the states can only lie on the bound or inside the bound. The black dash line is the quadrant of a unit circle, described by Eq. (1). The space between these two lines are unreachable, thus the bound provided by Eq. (1) is not tight based on the experimental results from our setup.
6. Conclusion
We have reported the results of the first experiment to demonstrate the duality relation of a three-path interferometer. The duality relation demonstrated here is tight because only states with maximal coherence are able to reach the bound as the theory predicts. While the states with lower coherence locate inside the bound. In our experiment, we encoded the input state onto path basis and the indicator states onto height basis, which significantly simplifies our experiment. With the well-designed setup, it is convenient for us to achieve the good interference visibility of any two paths on the same row of the light beam array. Due to the high precision of our experiment, we found good agreement with the theoretical predictions. Because the new bound demonstrated here is tight, it is possible to design a new method to detect a state with maximal coherence in a multi-path interferometer according to the duality relation.
7. Appendix A: Derivation of ρ in three-path interferometer
After a photon going through the indicator encoding system, it has nine possible output ports shown in Fig. 3(c) in the main text. The wave function of the composite system is
Then, the density matrix of the entire system is
Tracing out the indicator system, we obtain the density matrix ρ of the photon
Note that, the three indicator states are non-orthogonal to each other, which are
where are a set of orthogonal basis. Thus, we can obtain
The other seven elements of ρ have the similar structure.
From Eq. (18) we can know, each element consists of three parts, which come from the height degree of freedom {α, β, γ}, and these three parts correspond to three layers (rows) of the light beam array shown in Fig. 3(c).
Based on these three parts, the density matrix can be reorganized as
where consists of all coefficients of divided by have the similar structure. , and are the normalization coefficients. They are
Finally, we obtain the density matrix for the experimental implementation in the main text
where α, β, γ are short for .
Therefore, each layer contains the partial but independent information of the entire system, which corresponds to ρα,ρβ, and ργ. In our experiment, we do tomography for each layer and finally add them together to acquire the density matrix ρ.